大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Foundations of Intelligent Systems [electronic resource] : 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedings

0
索取号：
作者：Chen、 Li.、Felfernig、 Alexander.、Liu、 Jiming.、Ra艣、 Zbigniew W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers

0
索取号：
作者：Golumbic、 Martin Charles.、Stern、 Michal.、Levy、 Avivit.、Morgenstern、 Gila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Artificial Intelligence - SBIA 2012 [electronic resource] : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings

0
索取号：
作者：Barros、 Leliane N.、Finger、 Marcelo.、Pozo、 Aurora T.、Gimen茅nez-Lugo、 Gustavo A.、Castilho、 Marcos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

0
索取号：
作者：Gill、 Andy.、Hage、 Jurriaan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

0
索取号：
作者：Winckler、 Marco.、Forbrig、 Peter.、Bernhaupt、 Regina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computer Entertainment [electronic resource] : 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings

0
索取号：
作者：Nijholt、 Anton.、Rom茫o、 Teresa.、Reidsma、 Dennis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

0
索取号：
作者：Li、 Zhenhua.、Li、 Xiang.、Liu、 Yong.、Cai、 Zhihua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

0
索取号：
作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Business Information Systems Workshops [electronic resource] : BIS 2012 International Workshops and Future Internet Symposium, Vilnius, Lithuania, May 21-23, 2012 Revised Papers

0
索取号：
作者：Abramowicz、 Witold.、Domingue、 John.、W臋cel、 Krzysztof.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

0
索取号：
作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Gesture and Sign Language in Human-Computer Interaction and Embodied Communication [electronic resource] : 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Papers

0
索取号：
作者：Efthimiou、 Eleni.、Kouroupetroglou、 Georgios.、Fotinea、 Stavroula-Evita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Intelligent Data Analysis XI [electronic resource] : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings

0
索取号：
作者：Hollm茅n、 Jaakko.、Klawonn、 Frank.、Tucker、 Allan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Recent Trends in Computer Networks and Distributed Systems Security [electronic resource] : International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings

0
索取号：
作者：Thampi、 Sabu M.、Zomaya、 Albert Y.、Strufe、 Thorsten.、Alcaraz Calero、 Jose M.、Thomas、 Tony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the Representation of Lexicons and Grammars

0
索取号：
作者：Steels、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Information and Computer Security [electronic resource] : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings

0
索取号：
作者：Hanaoka、 Goichiro.、Yamauchi、 Toshihiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.